军工高安全软件数值型运行时错误分析方法

提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.     

基于磁悬浮控制力矩陀螺的航天器姿态高精度高带宽测量方法

针对航天器姿态测量精度和带宽之间相互制约问题,提出一种基于磁悬浮陀螺的航天器姿态高精度、高带宽测量方法。根据刚体动力学和坐标变换原理建立磁悬浮转子径向转动合外力矩模型。在框架静止条件下,通过实时检测磁悬浮控制力矩陀螺（MSCMG）中的磁轴承电流、磁悬浮转子位移,计算出磁悬浮转子径向转动所受合外力矩以及磁悬浮转子径向偏转信息,间接得到航天器运动对磁悬浮转子径向转动作用力矩,进而求出航天器单轴姿态角速度和姿态角加速度。不同带宽下的仿真结果表明,本测量方法能同时检测出航天器单方向的姿态角速度和角加速度,并且满足高精度高带宽要求。     

信号采集卫星系统星地资源快速调度优化方法

针对信号采集卫星系统中,采集目标的优先级和携带的信息量在星地资源调度过程中不断随时间变化的特点,提出了一种基于二次映射编码的动态调度差分演化算法（QMDSDE）。算法将采集目标的优先级和携带的信息量进行加权,作为采集的收益。在迭代求解时,根据卫星可见时间窗口的周期性特点设置固定的检测频率,以当前时刻所有目标收益的平均值和敏感系数的乘积作为检测环境变化的阈值。当检测算子的值大于阈值时,算法通过前向预测模型动态调整搜索方向,寻找问题的实时Pareto最优解。算法采用二次映射编码消除星地资源组合中的无效解,降低了算法的搜索空间,提高了算法的求解速度。经仿真校验,该方法在信号采集过程中,可以得到收益较好的星地资源调度方案,且具备较快的收敛速度。     

远程高压大流量减压阀的研制

研制一种远程、先导式高压大流量减压阀;介绍了该减压阀特点,建立了减压阀数学模型,利用Matlab进行该减压阀动力学仿真,研究各个参数对减压阀性能的影响.根据仿真结果,加工了一台实物产品.搭建了减压阀性能测试试验台,分析了压力、流量特性,并和仿真做了比较.结果表明:仿真和试验符合的比较好,说明仿真对减压阀的研制与分析具有指导作用.该减压阀使用方便,安全、可靠,已经用于数个试验中.     

基于深度神经网络的客机总体设计参数敏感性分析

飞机总体主要设计参数敏感性分析揭示了总体主要设计参数对飞机特性指标的影响,有助于总体设计方案的决策。针对宽体客机总体主要设计参数敏感性问题,根据其总体主要设计参数和特性指标的特点,以及多学科间的耦合关系,建立了深度神经网络模型。该深度神经网络模型以客机总体主要设计参数为输入,对特性指标进行预测。在深度神经网络模型中,设置了多个输入层、多个输出层以及多个分块的隐藏层,从而模拟客机总体主要设计参数对特性指标的影响以及不同特性指标之间的相互作用。测试结果表明,与传统代理模型相比,深度神经网络模型对客机特性指标的预测精度更高,多参数适应性更好。利用该深度神经网络模型对客机总体主要设计参数进行敏感性分析。分析结果表明,机翼1/4弦线后掠角在30°~31.5°时,有利于减少最大起飞重量和起飞平衡场长;发动机海平面最大静推力和机翼面积对客机直接使用成本、最大起飞重量等特性指标的影响最为显著。     

基于GMF方法的捕风一号风速反演分析

全球尺度高时空分辨率海面风场探测是当前全球气象研究及预报预测领域的关注热点之一,传统海面风场探测技术存在测量区域有限,且受天气环境限制明显等问题.基于全球导航卫星系统-反射(GNSS-R)测量技术风速反演原理,以捕风一号1级数据产品为输入,欧洲中期天气预报中心再分析风速数据为参考风速,采用地球物理模型函数(GMF)方法...     

基于正反问题耦合的压气机特性快速预测方法

提出一种基于正反问题耦合的压气机特性快速预测方法,根据压气机一维设计理论,通过对满足流量及压比设计指标的反问题求解快速得出压气机的气动布局方案,在此基础上结合非设计点损失和落后角模型通过正问题求解得出全工况压气机特性,再根据预测特性与目标的偏差调整气动布局方案,以此通过对正反问题的耦合求解实现对压气机特性的合理快速预测...     

纤维桥连对复合材料Ⅰ型层间断裂韧性的影响

 采用ASTM D 5528标准对T700/9916复合材料单向板进行了试验,研究了双悬臂梁(DCB)试验中桥连纤维对Ⅰ型层间断裂韧性的影响。根据试验观察,提出桥连区存在单(s区域)、双纤维桥连区域(d区域)的分析模型,其中d区域内一点上桥连纤维的数量是s区域的两倍;通过对桥连纤维和悬臂梁相互作用的分析,推导出呈指数形式递减的单根纤维桥连力-转角函数。由此得到整个悬臂梁的桥连力函数,并对DCB试验进行了分析,得到的模拟曲线与试验曲线吻合较好。研究结果表明本文提出的纤维桥连模型能够真实地反映桥连纤维在裂纹扩展过程中的作用方式。     

一种模块化航空有源滤波器的研究

 航空有源滤波器(AAPF)是解决飞机供电系统中电能质量问题的一种先进方案,而模块化设计对航空有源滤波器灵活性、可维护性和可靠性的提升作用巨大。首先提出并研究了一种新型模块化航空有源滤波器,分析了主电路数学模型及其混合载波PWM(CH-PWM)调制方式;其次基于损耗对比分析进行了主电路拓扑优化,推导了模块均压控制律并给出了系统控制策略;最后进行了仿真和实验验证。结果表明,模块化航空有源滤波器能够有效补偿航空电网中由典型非线性负载产生的谐波和无功电流分量,三相电网电流的总谐波畸变率(THD)均在5%以下,补偿效果显著。     

FGM板三维层合模型及热-噪声载荷下的动态响应研究

 为了有效地分析热-噪声联合载荷作用下的飞行器功能梯度壁板结构的非线性动态响应,提出了运用复合材料多层壳单元建立功能梯度材料(FGM)板的层合有限元建模新方法,研究了FGM板在热曲屈前、后状态下复杂的非线性时域动态响应特性,并探讨了梯度指数、热曲屈系数及声压级(SPL)等参数对FGM板非线性动态跳变响应的影响规律。FGM板三维层合建模新方法避免了采用常规有限元法(FEM)建模时需要在厚度方向划分大量单元的缺点;求解FGM板非线性动态响应时采用的隐式积分方案避免了模态叠加法对参与模态选择的经验性要求及模态截断造成的信息丢失等缺陷。仿真结果表明:FGM板层合有限元建模新方法合理可行、过程简便、计算精度高;研究发现:陶瓷-金属FGM板在热屈曲后的抗声振性能并不像热屈曲前那样介于金属板和陶瓷板之间,而是表现最差;热屈曲系数及声压级的组合形式是导致FGM板发生非线性跳变响应的主要影响因素。